知识表示方法中状态空间法、问题规约法、谓词逻辑法、语义网络总结

（1）状态空间法：
问题的状态空间时一个表示该问题全部可能状态及其关系的图，它包含三种说明的集合，即所有可能的问题初始状态集合S、操作符集合F以及目标状态集合G。因此，把状态空间记为三元状态（S,F,G）。
要完成某个问题的状态描述，必须确定三件事：一是该状态描述方式，特别是初始状态描述；二是操作符集合及其对状态描述的作用；三是目标状态描述的特性。
旅行商问题（下面分别是原图和状态空间法表示的图像）

（2）问题规约法：
从目标（要解决的问题）出发逆向推理，建立子问题以及子问题的子问题，直到最后把初始问题规约为一个平凡的本原问题集合。这就是问题规约的实质。它由三个部分组成：一是一个初始问题的描述；二是一套把问题变换为子问题的操作符；三是一套本原问题描述。
梵塔问题

（3）谓词逻辑法：
采用谓词合适公式和一阶谓词演算把要解决的问题变为一个有待证明的问题，然后采用消解定理和消解反演来证明一个新语句是从已知的正确语句导出的，从而证明这个新语句也是正确的。谓词逻辑是一种形式语言，能够把数学中的逻辑论证符号化。谓词逻辑法常与其它表示方法混合使用，灵活方便，可以表示比较复杂的问题。
eg. For every set x , there is a set y , such that the cardinality of y is greater than the cardinality of x.

（4）语义网络法：
语义网络是知识的一种结构化图解表示，它由节点和弧线或链线组成。节点用于表示实体、概念和情况等，弧线用于表示节点间的关系。语义网络表示由四个相关部分组成：一是词法部分，决定表示词汇表中允许有哪些符号，它涉及各个节点和弧线；二是结构部分，叙述符号排列的约束条件，指定各弧线连接的节点对；三是过程部分，说明访问过程，这些过程能用来建立和修正描述以及回答相关问题；四是语义部分，确定与描述相关的意义的方法即确定有关节点的排列及其占有物和对应弧线。

方法的评价：
（1）状态空间法需要扩展过多的节点，容易出现“组合爆炸”，因而只适用于比较简单的问题。
（2）问题规约法比状态空间法更有效地表示问题。状态空间法是问题规约法的特例。
（3）谓词逻辑是一种形式语言，能够把数学中的逻辑论证符号化。谓词逻辑法常与其他表示方法混合使用，灵活方便，可以表示比较复杂的问题。
（4）语义网络可用于表示多元关系，扩展后可以表示更复杂的问题。